Manuel V. Hermenegildo: tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (21)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Giovanni Boccaccio & Juan Manuel de Castela & Hermenegildo de Tancos & Anônimos Árabes [Boccaccio, Giovanni]

Godina:

2016

Jezik:

portuguese

Fajl:

EPUB, 379 KB

0 / 5.0

portuguese, 2016

2

Prolog: The Next 50 Years

Prolog: The Next 50 Years

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

Godina:

2023

Jezik:

english

Fajl:

PDF, 25.08 MB

0 / 5.0

english, 2023

3

Prolog: The Next 50 Years

Prolog: The Next 50 Years

Springer Nature

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

Godina:

2023

Jezik:

english

Fajl:

EPUB, 41.26 MB

0 / 0

english, 2023

4

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Springer International Publishing

Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)

Godina:

2017

Jezik:

english

Fajl:

PDF, 11.58 MB

0 / 0

english, 2017

5

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 2.46 MB

0 / 0

english, 2000

6

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 2.34 MB

0 / 0

english, 2003

7

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 5.29 MB

0 / 0

english, 2002

8

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 4.28 MB

0 / 0

english, 2000

9

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 3.24 MB

0 / 0

english, 2000

10

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 6.30 MB

0 / 0

english, 2002

11

Logic programming: proceedings of the 1990 North American conference

Logic programming: proceedings of the 1990 North American conference

Saumya Debray, Manuel Hermenegildo (ed.)

Godina:

1990

Jezik:

english

Fajl:

DJVU, 9.34 MB

0 / 0

english, 1990

12

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Gilles Barthe, Manuel Hermenegildo

Godina:

2010

Jezik:

english

Fajl:

PDF, 4.07 MB

0 / 0

english, 2010

13

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Manuel Hermenegildo, Daniel Cabeza

Godina:

2005

Jezik:

english

Fajl:

PDF, 8.33 MB

0 / 0

english, 2005

14

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)

Godina:

1994

Jezik:

english

Fajl:

DJVU, 4.36 MB

0 / 0

english, 1994

15

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (eds.)

Godina:

1995

Jezik:

english

Fajl:

DJVU, 4.13 MB

0 / 0

english, 1995

16

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 1.74 MB

0 / 0

english, 2003

17

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 5.07 MB

0 / 0

english, 2008

18

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 4.86 MB

0 / 0

english, 2008

19

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 5.09 MB

0 / 0

english, 2010

20

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)

Godina:

2005

Jezik:

english

Fajl:

DJVU, 2.43 MB

0 / 0

english, 2005

21

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Manuel Hermenegildo, Daniel Cabeza

Godina:

2005

Jezik:

english

Fajl:

PDF, 8.64 MB

0 / 0

english, 2005